#! /bin/csh -f

echo $0
echo $1
